Tutorial de C++ moderno: Eficiencia y expresividad en C++ moderno

C++ moderno (C++11/14/17) introduce Abstracciones sin costo que cierran la brecha entre el control de bajo nivel del hardware y la legibilidad de alto nivel. La eficiencia se logra mediante una gestión de memoria determinista, mientras que la expresividad se mejora a través de lógica en tiempo de compilación.

1. Estructura de memoria: std::array frente a std::vector

std::array es un contenedor moderno para matrices de estilo C, asignado en la pila con un tamaño fijo conocido en tiempo de compilación. En contraste, std::vector reside en la memoria dinámica y crece dinámicamente. Aunque std::vector utiliza un factor de crecimiento geométrico (a menudo $1.5\times$ o $2\times$), C++ moderno ofrece shrink_to_fit() para recuperar la capacidad no utilizada, ofreciendo un control más estrecho que los lenguajes gestionados como Golang.

2. SFINAE y seguridad de tipos

Mediante std::enable_if y std::is_enum, los desarrolladores pueden implementar Sustitución de falla no es un error (SFINAE). Esto permite al compilador elegir sobrecargas de funciones específicas basadas en rasgos de tipo en tiempo de compilación, como crear un operador de flujo universal para enumeraciones usando su std::underlying_type.

// Destacados de gestión de memoria en C++11
v.push_back(std::move(obj)); // Semántica de movimiento
arr.at(0); // Verificación de límites

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which container is allocated on the stack and has a fixed size defined at compile-time?

std::vector

std::array

std::list

std::deque

QUESTION 2

What is the primary purpose of the shrink_to_fit() member function?

To delete all elements in the container.

To request a reduction in capacity to match the current size.

To sort the elements and remove duplicates.

To move the container to the stack.

QUESTION 3

In the SFINAE example, what does std::underlying_type provide?

The memory address of the enum.

The integral type used to represent the enum.

A string representation of the enum name.

The number of elements in the enum.

QUESTION 4

How does C++ std::vector growth typically differ from Golang slice growth in high-load scenarios?

C++ vectors never grow; they must be pre-allocated.

Golang uses a fixed growth of 10 elements, while C++ is random.

C++ provides explicit control (shrink_to_fit) to manage memory-tight environments.

Golang slices are stored on the stack by default.

QUESTION 5

Which C++11 feature allows a vector to take ownership of a temporary object without copying?

std::enable_if

push_back(T&&) with Rvalue-overload

std::array static size

The 'mutable' keyword